closed naturality

См. также в других словарях:

• Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… …   Wikipedia

• Mayer–Vietoris sequence — In mathematics, particularly algebraic topology and homology theory, the Mayer–Vietoris sequence is an algebraic tool to help compute algebraic invariants of topological spaces, known as their homology and cohomology groups. The result is due to… …   Wikipedia

• Traced monoidal category — In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback.A traced symmetric monoidal category is a symmetric monoidal category C together with a family of… …   Wikipedia

• Poincaré duality — In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if M is an n dimensional compact oriented manifold, then the k th… …   Wikipedia

• Generalized Gauss–Bonnet theorem — In mathematics, the generalized Gauss–Bonnet theorem (also called Chern–Gauss–Bonnet theorem) presents the Euler characteristic of a closed even dimensional Riemannian manifold as an integral of a certain polynomial derived from its curvature. It …   Wikipedia

• Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

• Symmetric algebra — In mathematics, the symmetric algebra S ( V ) (also denoted Sym ( V )) on a vector space V over a field K is the free commutative unital associative K algebra containing V .It corresponds to polynomials with indeterminates in V , without choosing …   Wikipedia